#include <types.h>
#include <Debug.h>
#include <Kernel.h>
#include <Proc.h>

void Kernel::Start() {
	Proc::Init();
}
